class CAST{T}
****
Narrow down from $OB to type T. A useful substitute for the one line typecase statement.
___Usage:
____a:_$OB_:=_3;
____b:_INT_:=_CAST{INT}::from(a);
_


Flattened version is here



Public


Features
create: SAME
**** Used to get the class name (won't work with void?)
from(o: $OB): T
**** Cast from o:$OB "o" to be of type T. Raise the exception CAST_EXC if "o" is not of type T
_
Usage:
____a:_$OB_:=_3;
____b:_INT_:=_CAST{INT}::from(a);

The Sather Home Page